Formal Methods, Informally: How to Write Programs That Work
by Morgan, Carroll Carroll Morgan,
ISBN 13: 9781009420990
Format: hardcover Publisher: Cambridge University Press
Save for later